Searchable Symmetric Encryption: Improved Definitions and Efficient Constructions Reza Curtmola (JHU) Juan Garay (Bell Labs) Seny Kamara (JHU) Rafail Ostrovsky (UCLA)

Source URL: www.fields.utoronto.ca

• Encryption
• Cryptographic software
• Special purpose file systems
• Disk encryption
• Deterministic encryption
• Cryptography
• Public-key cryptography
• Symmetric-key algorithm

Bell labs fellowships for under represented minorities  http://www.bell­labs.com/fellowships/CRFP/info.html  Student Inventors Scholarships  http://www.invent.org/collegiate  Student Video Scholarships 

Source URL: www.miracletemple.net

• Scholarships
• Athletic scholarship
• Thurgood Marshall College Fund
• Education
• Student financial aid
• Knowledge

LTL types FRP Linear-time Temporal Logic Propositions as Types Proofs as Functional Reactive Programs Alan Jeffrey Alcatel-Lucent Bell Labs [removed]

Source URL: ect.bell-labs.com

• Mathematical analysis
• Structure
• Integral transforms
• Logic
• Holomorphic functional calculus
• Decomposition of spectrum
• Mathematics
• Metalogic
• Model theory

User Agent Migration Policies in Wireless Networks Ramachandran Ramjee & Thomas La Porta Jim Kurose & Don Towsley Bell Labs, Lucent Technologies Dept of Comp. Science Holmdel, NJ

Source URL: www.cse.psu.edu

• Computer network security
• Electronics
• IP Multimedia Subsystem
• User agent
• Technology
• Electronic engineering

RIMA: Router for Integrated Mobile Access Thomas F. La Porta, Kazutaka Murakami, Ramachandran Ramjee Bell Labs, Lucent Technologies {tlp, kmurakami, ramjee}@lucent.com ABSTRACT

Source URL: www.cse.psu.edu

• Mobile technology
• Videotelephony
• Network protocols
• Telecommunications engineering
• Universal Mobile Telecommunications System
• Mobility management
• Public land mobile network
• General Packet Radio Service
• Voice call continuity
• Technology
• Electronic engineering
• Electronics

Abstract for an Invited Paper for the MAR08 Meeting of The American Physical Society Reflections on Three Corporate Research Labs: Bell Labs, HP Labs, Agilent Labs JAMES HOLLENHORST, Agilent Technologies

Source URL: absimage.aps.org

Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI

Source URL: cm.bell-labs.com

• Formal methods
• Computer science
• Büchi automaton
• State diagram
• Finite-state machine
• Model theory
• Stack
• Models of computation
• Automata theory
• Theoretical computer science

The Lifting Scheme: A New Philosophy in Biorthogonal Wavelet Constructions Wim Sweldens Katholieke Universiteit Leuven Belgium, Department of Computer Science [removed]

Source URL: achille.cs.bell-labs.com

• Mathematics
• Lifting scheme
• Haar wavelet
• Biorthogonal wavelet
• Orthogonal wavelet
• Fast wavelet transform
• Fourier analysis
• Dual wavelet
• Continuous wavelet transform
• Wavelets
• Mathematical analysis
• Signal processing

Microsoft Word[removed]fa13-ACRC-Summary of hills LINUX Orientation.doc

Source URL: www.ccsf.edu

• Cross-platform software
• Linux
• Pico
• Unix
• Man page
• Software
• Computing
• Plan 9 from Bell Labs

Plan 9 from Bell Labs Rob Pike Dave Presotto Sean Dorward Bob Flandrena Ken Thompson

Source URL: plan9.bell-labs.com

• Network file systems
• 9P
• Operating system
• File system
• Server
• Unix
• Network File System
• Distributed file system
• Shared resource
• Computing
• Software
• System software